double data type in c